Muchnik and Medvedev Degrees of Π 01 Subsets of 2 ω Stephen

Muchnik and Medvedev Degrees of Π 01 Subsets of 2 ω

Medvedev and Muchnik Degrees of Nonempty Π 01 Subsets of 2 ω

This is a report for my presentation at the upcoming meeting on Berechenbarkeitstheorie (“Computability Theory”), Oberwolfach, January 21–27, 2001. We use 2 to denote the space of infinite sequences of 0’s and 1’s. For X, Y ∈ 2, X ≤T Y means that X is Turing reducible to Y . For P,Q ⊆ 2 we say that P is Muchnik reducible to Q, abbreviated P ≤w Q, if for all Y ∈ Q there exists X ∈ P such that X ...

Inside the Muchnik Degrees II: The Degree Structures induced by the Arithmetical Hierarchy of Countably Continuous Functions

It is known that infinitely many Medvedev degrees exist inside the Muchnik degree of any nontrivial Π1 subset of Cantor space. We shed light on the fine structures inside these Muchnik degrees related to learnability and piecewise computability. As for nonempty Π1 subsets of Cantor space, we show the existence of a finite-∆2-piecewise degree containing infinitely many finite-(Π 0 1)2-piecewise ...

Embeddings into the Medvedev and Muchnik lattices of Π1 classes

Let Pw and PM be the countable distributive lattices of Muchnik and Medvedev degrees of non-empty Π1 subsets of 2 , under Muchnik and Medvedev reducibility, respectively. We show that all countable distributive lattices are lattice-embeddable below any non-zero element of Pw. We show that many countable distributive lattices are lattice-embeddable below any non-zero element of PM .

Small Π 01 Classes . Stephen Binns

The property of smallness for Π1 classes is introduced and is investigated with respect to Medvedev and Muchnik degree. It is shown that the property of containing a small Π1 class depends only on the Muchnik degree of a Π1 class. A comparison is made with the idea of thinness for Π1 classes